|
|
1.
基于区间集的Cppcheck数组边界缺陷检测
张仕金 尚赵伟
计算机应用
2013, 33 (11):
3257-3261.
针对开源软件Cppcheck误报率和漏报率过高,且不能检测出运行时程序缺陷等问题，基于Cppcheck程序，提出了抽象区间集算法，并将其应用于数组边界缺陷检测。在Cppcheck框架内，通过引入区间集概念，建立每个程序点变量和表达式的整型区间集和数组区间集,并由此定位出程序中的矛盾点，最终检测出程序缺陷。与Cppcheck相比较，所提算法的查准率提高18.5%，漏报率降低22.5%，误报率提高3.5%。实验结果表明，该方法能有效地检测出运行程序缺陷，并提高Cppcheck缺陷检测性能。
相关文章 |
多维度评价
|
|
